seven divided by three